Logical formalization of social commitments :
نویسندگان
چکیده
Most agent Communication Languages are no longer defined in terms of the agents’ mental attitudes, but in terms of social commitments. However, such social approaches have two drawbacks. First, the notion of commitment does not have a clear and unambiguous characterization. Second, commitments are completely unrelated to the agents’ reasoning. We remedy this situation by combining a BDI logic with a logic of what is publicly grounded between agents.
منابع مشابه
Logical formalization of social commitments: application to agent communication languages
Nowadays most of the Agent Communication Languages are no longer defined in terms of the agents’ mental attitudes, but in terms of social commitments, which avoids strong hypotheses on the agents’ internal states and thus allows verification of the semantics. While social approaches have attracted a lot of attention, two drawbacks remain. First, the notion of commitment does not have a clear an...
متن کاملA Social Approach to Communication in Multiagent Systems
This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of social commitments. We take commitment to be a primitive concept underlying the social dimension of multiagent systems, and define a basic artificial institution that provides agents with the means to affect the commitment netw...
متن کاملCommitments with regulations: reasoning about safety and control in REGULA
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships. However, current formalizations of commitments incorporate conditions expressed as propositions, but disregard (1) temporal regulations and (2) an agent’s control over such regulations. Thus, they cannot handle realis...
متن کاملMonitoring Time-Aware Social Commitments with Reactive Event Calculus
Despite their dynamic nature, social commitments have been rarely used for monitoring purposes, and few attention has been paid to the relationship between commitments and the temporal dimension and to the corresponding run-time verification. Building on previous work, we present a declarative axiomatization of time-aware social commitments, extending their basic life cycle with time-related tr...
متن کاملA Logical Analysis of Commitment Dynamics
The aim of this work is to propose a model-theoretic semantics and a complete logic for the dynamics of commitments. In the first part of the article, a formalization of the concept of social commitment in STIT logic is presented. STIT is one of the most prominent formal accounts of agency. It is the logic of constructions of the form “agent i sees to it that φ”. In the second part, the article...
متن کامل